<?php

class PascalExecutor {

}